6.1 Recursive And Recursively Enumerable Languages- Theoretical Computer Science